headerbar: Remove unused private API
authorJasper St. Pierre <jstpierre@mecheye.net>
Wed, 11 Dec 2013 06:28:28 +0000 (01:28 -0500)
committerJasper St. Pierre <jstpierre@mecheye.net>
Thu, 12 Dec 2013 00:28:30 +0000 (19:28 -0500)
commit37baeed66e3493767f43100c6c14924aa6f82ff6
treed180c1e7174a016f4b3eb411f6b1699420978ada
parente582404e904f20a6fc839b2684d865a3b1ec37e8
headerbar: Remove unused private API

Don't remove gtkheaderbarprivate.h, even though it's empty,
since we'll add more to it soon.

https://bugzilla.gnome.org/show_bug.cgi?id=720233
gtk/gtkheaderbar.c
gtk/gtkheaderbarprivate.h